semantics of programming language是什么意思_semantics of programming language怎么读_semantics of programming language翻译_semantics of programming language的词义辨析_semantics of programming language的相关短语_semanticsofprogramminglanguage的翻译_semantics of programming language的音标

1、

指称语义学是以函数的形式来表达程序的语义，一阶时态逻辑是以逻辑方式表达程序的语义。

互联网摘选

2、

程序语言的形式化语义提供简洁而精确的语言定义，不仅帮助人们很好的理解语言，而且有助于语言的标准化。

互联网摘选

3、

形式化规范语言Z和Object-Z已经用于描述程序语言语义。

互联网摘选

4、

动态模糊逻辑程序设计语言的操作语义模型及验证

互联网摘选

5、

逻辑程序设计语言G（？）del的说明性语义

互联网摘选

6、

分布式程序设计语言的指称语义

互联网摘选

7、

Programming today is less about learning the syntax and semantics of a programming language, such as Java, than about learning the APIs and capabilities of libraries for that language.

今天的编程已不仅仅是学习编程语言的语法和语义，比如Java，我们并不是学习其API及类库的能力。

互联网摘选

8、

智能Agent程序设计语言IAPL

互联网摘选

9、

提出了可以解决动态模糊性问题的DFL程序设计语言的操作语义模型，并对该模型的正确性和可靠性进行了证明；

互联网摘选

10、

通过一个三元组给出了DFL程序设计语言的操作语义模型；

互联网摘选

点击展开全部例句

temperament[ˈtemprəmənt] n.性格;（人或动物的）气质;易冲动;（性情）暴躁;
fabric[ˈfæbrɪk] n.织物;布;构造;（建筑物的）结构（如墙、地面、屋顶）：质地;
pig[pɪɡ] n.猪;猪肉;令人不快（或讨厌）的人;金属块（锭）;v.使贪婪地吃;使拼命大吃;
sideroad n.旁路;支路;小路;人行道;岔道;
flavor[ˈfleɪvə] n.味;韵味;特点;香料;vt.给…调味;给…增添风趣;
yet[jet] adv.尚（未），还，仍;更;迄今为止;conj. 但是，然而;
at[ət] prep. 在(某时间或时刻);在(学习或工作地点);在(某处);在…岁时;向;以，达;处于最佳（或最差等）状态;在…方面;以…的方式;从事于，忙于;因为，由于;应…（而）abbr.(= astatine ) (= Air Transport )
worthy[ˈwɜːði] adj.值得的;值得(或应得)…的;有价值的(但不太令人感兴趣或激动的);值得注意的;值得尊敬的;值得敬仰的;有（某人或事物）的典型特征n.大人物，知名人士;
shortcoming[ˈʃɔːtkʌmɪŋ] n.短处，缺点;
operator[ˈɒpəreɪtə(r)] n.经营者;操作员;电话接线员;运算符;
state[steɪt] v.陈述;公布;n.状态;国家;州;
urge[ɜːdʒ] v.敦促，催促;推，拉;驱赶;强烈要求;n.冲动;强烈的欲望;